Drapeau theorem for differential systems

channel estimation for mimo-ofdm systems

تخمین دقیق مشخصات کانال در سیستم های مخابراتی یک امر مهم محسوب می گردد. این امر به ویژه در کانال های بیسیم با ‏خاصیت فرکانس گزینی و زمان گزینی شدید، چالش بزرگی است. مقالات متعدد پر از روش های مبتکرانه ای برای طراحی و آنالیز ‏الگوریتم های تخمین کانال است که بیشتر آنها از روش های خاصی استفاده می کنند که یا دارای عملکرد خوب با پیچیدگی ‏محاسباتی بالا هستند و یا با عملکرد نه چندان خوب پیچیدگی پایینی...

A Zero Structure Theorem for Differential Parametric Systems

We present a zero structure theorem for a differential parametric system: p1 = 0, · · · , pr = 0, d1 6= 0, · · · , ds 6= 0 where pi and di are differential polynomials in K{u1, · · · , um, x1, · · · , xn} and the u are parameters. According to this theorem we can identify all parametric values for which the parametric system has solutions for the xi and at the same time giving the solutions for...

Differential dynamic logics - automated theorem proving for hybrid systems

Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equations. With the goal of developing a theoretical and practical foundation for deductive verification of hybrid systems, we introduce differential dynamic logic as a new logic with which correctness properties of hybrid...

Stability results for set solution of fuzzy integro-differential systems

Effective Differential Lüroth's Theorem

This paper focuses on effectivity aspects of the Lüroth’s theorem in differential fields. Let F be a differential field of characteristic 0 and F〈u〉 be the field of differential rational functions generated by a single indeterminate u. Let be given non constant rational functions v1, . . . , vn ∈ F〈u〉 generating a subfield G ⊆ F〈u〉. The differential Lüroth’s theorem proved by Ritt in 1932 state...